Nuprl Definition : es-le
0,22
postcript
pdf
e
e'
== (
e
<loc
e'
)
e
=
e'
latex
clarification:
es-le(
es
;
e
;
e'
) == es-locl(
es
;
e
;
e'
)
e
=
e'
es-E(
es
)
latex
Definitions
E
,
(
e
<loc
e'
)
,
P
Q
FDL editor aliases
es-le
origin
e' == (e <loc e') 
e = e'
e = e' 
es-E(es) e' == (e <loc e') e = e'
e = e' es-E(es) Q